Bjesse, Per: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Word-Level Sequential Memory Abstraction for Model Checking

Year:

2008

Language:

english

File:

PDF, 171 KB

english, 2008

2

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Lava

Bjesse, Per, Claessen, Koen, Sheeran, Mary, Singh, Satnam

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

3

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - A proof engine approach to solving combinational design automation problems

Andersson, Gunnar, Bjesse, Per, Cook, Byron, Hanna, Ziyad

Year:

2002

Language:

english

File:

PDF, 123 KB

english, 2002

4

Word level bitwidth reduction for unbounded hardware model checking

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 383 KB

english, 2009

5

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

Moon, In-ho, Bjesse, Per, Pixley, Carl

Year:

2006

Language:

english

File:

PDF, 6.68 MB

english, 2006

6

Lava

Bjesse, Per, Claessen, Koen, Sheeran, Mary, Singh, Satnam

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.05 MB

english, 1999

7

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - A Compositional Approach to the Combination of Combinational and Sequential Equivalence Checking of Circuits Without Known Reset States

Moon, In-Ho, Bjesse, Per, Pixley, Carl

Year:

2007

Language:

english

File:

PDF, 115 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски